A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics
نویسندگان
چکیده
We propose a graph-based hypermedia model, where hypermedia dynamics is specified through graph transformation. This approach addresses the lack of an appropriate language for specifying transformations of hypermedia networks in known hypermedia development methodologies.
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملSupporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques
In this paper we show our approach to the automatic generation of modelling environments for Visual Languages (VLs) supporting multiple views. The approach is based on the metamodelling tool AToM. Starting from a metamodel description of the VL and its views, a customized modelling environment is generated. Consistency between views is supported by the automatic generation of triple graph gramm...
متن کاملVisual Hypermedia Authoring
This work proposes a visual grammar-based approach to support web designers during the analysis and the design phases of complex hypermedia structures. The hypermedia is defined through a formal visual language at two abstraction levels: the hypermedia graph outer and inner structures. The model makes it possible to verify the correctness of hypermedia structures andion levels: the hypermedia g...
متن کاملThe application and development of graph theory through the space syntax method: The implementation of analytical practical model in architecture
Abstract Over the last few decades, different mathematical methods have been used to design and analyze architectural spaces. Meanwhile, the graph theory provides an abstract model to study the spatial configuration, so that a simple and flexible mathematical framework is obtained to analyze the spatial topological features and their relationship with social and functional concepts in architec...
متن کاملHadez, a Framework for the Specification and Verification of Hypermedia Applications
In recent years, several methodologies for the development of hypermedia applications have been proposed. These methodologies are, primarily, guidelines to be followed during the design process. They also indicate what deliverables should be created at each of their stages. These products are usually informally specified—in the sense that they do not have formal syntax nor formally defined sema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000